/*
 * 验证getchar() != EOF 是0或1
 */

#include <stdio.h>

int main() {
    printf("\"getchar() != EOF\" = %d\n", getchar() != EOF);

    return 0;
}
